logical formalism造句

The WSML is based on the logical formalisms as First-order Logic and Logic Programming.
The triad is mentioned only a few times in his writings and mainly in his polemic against the logical formalism of Kant s critical idealism.
It is of particular importance in providing a logical formalism for ontologies and the Semantic Web : the Web Ontology Language ( OWL ) and its profile is based on DLs.
ISI focused primarily on the front end of the process on defining specifications that could map to logical formalisms but were in formats that were intuitive and familiar to systems analysts.
:: As for the mentioned correspondence theory of truth, I can be mistaking, but as far as I understand, it can be considered as a generalization of Tarski s theory; and unlike Tarski s theory, the correspondence theory does not provide a logical formalism that would allow to formulate Tarski s formal semantics and to apply to them subsequent computer automation.
It's difficult to find logical formalism in a sentence. 用logical formalism造句挺难的